61. Essays on the Foundations of Mathematics
پدیدآورنده : \ Stephen Pollard, editor.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
62. Essays on the foundations of mathematics
پدیدآورنده : / by Moritz Pasch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics, Philosophy,Logic, Symbolic and mathematical
رده :
E-BOOK
63. Feferman on foundations :
پدیدآورنده : Gerhard Jäger, Wilfried Sieg, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Mathematical foundations.,Mathematical theory of computation.,MATHEMATICS-- General.,Philosophy: logic.
رده :
QA9
.
2
64. Formal Concept Analysis :
پدیدآورنده : Diana Cristea, Florence Le Ber, Baris Sertkaya (Eds.) (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Formal methods (Computer science), Congresses.,Logic, Symbolic and mathematical, Congresses.,Computer science-- Mathematics.,Formal methods (Computer science),Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
M35
I58
2019eb
65. Foundation; essays in philosophy, logic, mathematics, and economics
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Taxation,، Saving and investment
رده :
QA
8
.
4
.
R35
1978
66. Foundations; essay in philosophy, logic, mathematics and economics
پدیدآورنده : / F. P. Ramsey,Ramsey
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - تالار كتابهای خارجی (خراسان رضوی)
موضوع : Logic, Symbolic and mathematical -- Addresses, essays, lectures
رده :
511
.
308
R181F
67. Foundations : essays in philosophy, logic, mathematics and economics
پدیدآورنده : Ramsey, Frank Plumpton, 3091-0391
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Taxation,، Saving and investment
رده :
QA
8
.
4
.
R25F6
68. Foundations : essays in philosophy, logic, mathematics and economics
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical,، Taxation,، Saving and investment
رده :
QA
8
.
4
.
R35
1978
69. Foundations : essays in philosophy, logic, mathematics and economics
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical,، Taxation,، Saving and investment
رده :
QA
8
.
4
.
R35
1978b
70. Foundations of logic, 1903-05
پدیدآورنده : Russell, Bertrand, 2781-0791
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
B
1649
.
R91
1983
vol
.
4
71. Foundations of logic and mathematic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. [from old catalog],Mathematics- Philosophy. [from old catalog]
رده :
Q121
.
I5C37
72. Foundations of logic and mathematics
پدیدآورنده : / by Rudolf Carnap
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic, symbolic and mathematical,Mathematics - Philosophy
رده :
511
.
3
Ca-F
73. Foundations of logic and mathematics
پدیدآورنده : Carnap, Rudolf, 1981-0791.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
Q
121
.
I5
Vol
.
1
No
.
3
74. Foundations of mathematics
پدیدآورنده : )by( William S. Hatcher,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Mathematics - Philosophy,Logic, Symbolic and mathematical
رده :
QA
.
H34
9
75. Foundations of mathematics
پدیدآورنده : Hatcher, William S
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
H34
76. Foundations of mathematics
پدیدآورنده : / Edited by Jack J. Bulloff, Thomas C. Holyoke [and] S. W. Hahn
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع :
رده :
QA9
،.
F68
77. Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Godel
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Godel, Kurt
رده :
QA
9
.
F58
78. Foundations without foundationalism :
پدیدآورنده : Stewart Shapiro.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Wiskundige logica.
رده :
QA9
.
S48
1991eb
79. Frege :
پدیدآورنده : Michael Beaney.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Frege, Gottlob,1848-1925.,Analysis (Philosophy),Language and languages-- Philosophy.,Logic, Symbolic and mathematical.,Logic.,Mathematics-- Philosophy.
رده :
B3245
.
F24
B43
1996
